Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
211	When is Na¨ıve Evaluation Possible? Am´elie Gheerbrant, Leonid Libkin, Cristina Sirangelo To cite this version: Am´elie Gheerbrant, Leonid Libkin, Cristina Sirangelo. When is Na¨ıve Evaluation Possible?. PODS - 32n Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-11-10 14:14:40 Model theory Database theory Conjunctive query Modal logic Null Structure Kripke semantics FO Closed world assumption Logic Mathematics Mathematical logic
212	FACULTY OF ARTS DEPARTMENT OF PHILOSOPHY PHIL — “Advanced Topics in Logic: Modal Logic” Winter Term 2013 Course Outline Add to Reading List Source URL: www.ucalgary.ca Language: English - Date: 2014-07-27 06:40:18 Logicians Non-classical logic Philosophical logic Epistemic modal logic Plagiarism Mathematical logic Johan van Benthem Logic Science Modal logic
213	On the Modelling and Analysis of Regulations G. Antoniou, D. Billington, G. Governatori and M.J. Maher CIT, Griffith University Nathan, QLD 4111, Australia {ga,db,guido,mjm}@cit.gu.edu.au Add to Reading List Source URL: seit.unsw.adfa.edu.au Language: English - Date: 2012-01-12 21:52:26 Knowledge Reasoning Critical thinking Defeasible logic Defeasible reasoning Argument Non-monotonic logic Modal logic Inquiry Logic Science Non-classical logic
214	Cooperative Epistemic Multi-Agent Planning With Implicit Coordination Thorsten Engesser Thomas Bolander ¨ Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2015-06-11 06:23:58 Automated planning and scheduling Common knowledge Game theory Epistemic modal logic Modal logic S0 Closure Multi-agent planning Connection Logic Artificial intelligence Multi-agent systems
215	TERMINATION FOR HYBRID TABLEAUS THOMAS BOLANDER AND PATRICK BLACKBURN Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨ uner [5]. Their paper gives Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2007-04-02 08:29:00 Formal languages Logical syntax Philosophical logic Method of analytic tableaux Interpretation Entailment Modal logic Model theory Symbol Logic Metalogic Propositional calculus
216	AG8 SUBATOMIC LOGIC Alessio Guglielmi (TU Dresdenupdated on Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:04 Non-classical logic Boolean algebra Propositional calculus Substructural logic Linear logic Structural rule Modal logic Cut-elimination theorem Negation Logic Mathematical logic Proof theory
217	Biased modality and epistemic weakness with the future and MUST: non veridicality, partial knowledge Anastasia Giannakidou and Alda Mari University of Chicago and Institut Jean Nicod, CNRS January 4, 2015 Abstract Add to Reading List Source URL: cas.uchicago.edu Language: English - Date: 2015-01-15 21:17:25 Logic Modal logic Pragmatics Inference Veridicality Linguistic modality Epistemic modality Modal verb Modal operator Linguistics Grammar Grammatical moods
218	Page 1 / 1 Edward Frenkel’s interview to the Brazilian newspaper Valor Econômico, Q: I am not going to lie to you: Math was not my favorite class in school. I thought it was too abstract and, later on, it w Add to Reading List Source URL: math.berkeley.edu Language: English - Date: 2015-04-11 14:55:24 Finite fields XTR Modal logic Coding theory Vacuous truth Exponential mechanism Mathematics Logic Abstract algebra
219	Fuzzy Studies MODES OF SYNCRETISM Notes on Noncoherence John Law, Geir Afdal, Kristin Asdal, Wen-yuan Lin, Add to Reading List Source URL: www.sv.uio.no Language: English Syncretism Modal logic Bruno Latour Science Knowledge Metaphilosophy
220	11098_2006_9063_133_3-web 443.. Add to Reading List Source URL: fas-philosophy.rutgers.edu Language: English - Date: 2011-03-21 20:18:58 Modal logic Possibility Philosophical logic Metaphysicians Robert Stalnaker Possible world Metaphysics Philosophical realism Actualism Logic Mathematical logic Philosophy

UPDATE